package com.googlecode.kipler.container.dl;

import java.util.Set;

import com.googlecode.kipler.satisfiability.reasoner.UnsatisfiableException;
import com.googlecode.kipler.syntax.formula.Formula;


/**
 * 
 * @author İnanç Seylan
 *
 */
public interface FormulaBase {
	public void add(Formula formula) throws UnsatisfiableException;

	public boolean contains(Formula formula);

	public Set<Formula> getFormulas();

	public boolean isSatisfiable();
}
